xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Source URL: homes.cs.washington.edu

• Logic in computer science
• Formal methods
• Semantics
• Pi
• Probability

BioTop - A Top-Domain Ontology for the Life Sciences

Source URL: precedings.nature.com

• Ontology
• Information science
• Technical communication
• Knowledge representation
• Semantic Web
• Information
• Knowledge
• Translational medicine
• Upper ontology
• Basic Formal Ontology

From Math to Machine A formal derivation of an executable Krivine Machine Wouter Swierstra Brouwer Seminar Friday, October 7, 2011

Source URL: www.staff.science.uu.nl

Recognizing Actions from Still Images Nazli Ikizler, R. Gokberk Cinbis, Selen Pehlivan and Pinar Duygulu Bilkent University, Dept of Computer Engineering, 06800, Ankara, Turkey {inazli, cinbis, pselen, duygulu}@bilkent.e

Source URL: web.cs.hacettepe.edu.tr

• Formal sciences
• Artificial intelligence
• Science and technology
• Vision
• Image processing
• Computational neuroscience
• Machine learning
• Feature detection
• Histogram of oriented gradients
• Outline of object recognition
• Conference on Computer Vision and Pattern Recognition
• Computer vision

More Secure Software Systems by Formal Verification, Property-Based Testing, Secure Compilation, and Dynamic Monitoring Cătălin Hrițcu Inria Paris, Prosecco team

Source URL: prosecco.gforge.inria.fr

• Security
• Computer security
• Cyberwarfare
• Formal methods
• Logic in computer science
• E-commerce
• Secure communication
• Cryptographic software
• Formal verification
• Cryptographic protocol
• Vulnerability
• ProVerif

What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway,

Source URL: folk.uib.no

• Logic
• Modal logic
• Philosophy
• Formal epistemology
• Abstraction
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Common knowledge
• Epistemic modal logic
• Kripke semantics

Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗

Source URL: folk.uib.no

• Game theory
• Artificial intelligence
• Formal epistemology
• Modal logic
• Logic in computer science
• Common knowledge
• Epistemic modal logic
• Intelligent agent
• Alternating-time Temporal Logic
• Temporal logic
• Social software
• Mechanism design

A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk

Source URL: people.eng.unimelb.edu.au

Formal Proof Sketches Freek Wiedijk Department of Computer Science, University of Nijmegen Toernooiveld 1, 6525 ED Nijmegen, The Netherlands Abstract. Formalized mathematics currently does not look much like

Source URL: www.cs.ru.nl